Nuprl Definition : state_when
11,40
postcript
pdf
state_when(
e
) == when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
).1
latex
clarification:
state_when(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
) == when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
).1
latex
Definitions
t
.1
,
when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
)
FDL editor aliases
state_when
origin